Andreas Ruby
نویسندگان
چکیده
منابع مشابه
Discussion Andreas
Gelman’s article is a thought-provoking mix of opinions and creative methodology. I agree with Gelman that the disjunction of models and exploratory data analysis (EDA) in mainstream statistics is unsound. The assumption that models belong exclusively to confirmatory data analysis (CDA) is easily shown to be wrong in practice. Many uses of models, in particular model selection, are exploratory,...
متن کاملAndreas Kemmerling
Assuming that there are correct basic norms, is there a way to explain their correctness? Paul does not think so, and he argues that a certain family of strategies for explaining the correctness of one particular class of basic epistemic norms does not work. The norms in question are those which concern the acceptance of ID-sentences, i.e. sentences which are, or seem to be, the implicit defini...
متن کاملAndreas Größler
The purpose of this paper is to provide a heuristic that can help to decide whether qualitative or quantitative system dynamics modeling is useful in organizational modeling projects. The heuristic depends on the initial problem formulation, in form of a question to be answered. The argumentation is based on conceptual musings and on two short case studies to exemplify the usage of the heuristi...
متن کاملRefinement Types for Ruby
Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby. RTR is built on top of RDL, a Ruby type checker that provides basic type information for the verification process. RTR works by encoding its verification problems into Rosette, a solver-aided host language. RTR handles mixins th...
متن کاملCompiling Ruby into FPGAs
This paper presents an overview of a prototype hardware compiler which compiles a design expressed in the Ruby language into FPGAs. The features of two important modules, the reenement module and the oorplanning module, are discussed and illustrated. Target code can be produced in various formats, including device-speciic formats such as XNF or CFG, and device-independent formats such as VHDL. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ARQ (Santiago)
سال: 2010
ISSN: 0717-6996
DOI: 10.4067/s0717-69962010000100017